chain-replication{i:l}(es;Cmd;Sys;Config;Master;u)
== master-constraints(es;Master)
== & (c:E(Config)E(Master). config-antecedent(es;Master;Config;c))
== & update-antecedent{i:l}(es;Cmd;Sys;Config;u)
== & (m:{e:E(Master)| cmseq?(Master(e))} E(Config)
== & (master-antecedent{i:l}(es;Cmd;Master;Config;Sys;m))
== & Sys  Config = 0 

latex

---

clarification:

chain-replication{i:l}
chain-replication(es; Cmd; Sys; Config; Master; u)
== master-constraints(es;Master)
== & (c:es-E-interface(es;Config)es-E-interface(es;Master)
== & (config-antecedent(es;Master;Config;c))
== & update-antecedent{i:l}
== & update-antecedent(es; Cmd; Sys; Config; u)
== & (m:{e:es-E-interface(es;Master)| cmseq?(Master(e))} es-E-interface(es;Config)
== & (master-antecedent{i:l}
== & (master-antecedent(es; Cmd; Master; Config; Sys; m))
== & es-interface-disjoint(es;Sys;Config) 

latex

Definitions	master-constraints(es;Master), config-antecedent(es;Master;Config;c), update-antecedent{i:l}(es;Cmd;Sys;Config;u), P & Q, x:A. B(x), x:AB(x), {x:A| B(x)} , b, cmseq?(x), X(e), E(X), master-antecedent{i:l}(es;Cmd;Master;Config;Sys;m), X  Y = 0
FDL editor aliases	chain-replication